storepslot%20fajartoto

An Algebraic Formalization of the GoF Design Patterns. gigabyte graphics cards Juan Lara This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns The approach is based on graphs, morphisms and operations from category theory and exploits triple graphs to annotate model